Non-commutative Geometry and its Applications